proof of sum of arithmetic series formula